×

proof theory中文什么意思

发音:   用"proof theory"造句
  • 证蜜
  • 证明论
  • proof:    n. 1.证明；证据；【法律】证件；【法律】(口头或书面 ...
  • theory:    n. 1.理论，学理，原理。 2.学说，论说 (opp. ...
  • -proof:    后缀 表示“耐，防(等)”：acid-proof 耐酸的。Air-proof 密封的。 Dust-proof 防尘的。 Fire-proof 防火的。 Radar-proof 反雷达的。 Slander-proof 听了坏话不会生气的。 Sound-proof 隔音的。 Water-proof 防水的。
  • a proof:    防原子的
  • a-proof:    防原子的
下载手机词典可随时随地查词查翻译

例句与用法

    更多例句：  下一页
  1. The subsumption and request of problem is formalized by xdd and the problem is evaluated by means of proof theory
    将证明论方法引入到xml中，建立了基于xml的证明论。
  2. Applying the methods of gray system synthesize evaluation and proof theories , got the outburst dangerous grade samples
    在此基础上，提出了危险信度的概念，用以衡量突出矿井危险程度，编制了神经网络，并对其进行训练。
  3. The author anticipate future of constitutionlism building in china and proof theory of constitution chang , recruitment and explanation . at the same time
    预测了我国宪政建设的趋势，论述了现行宪法应修改、补充的内容及解释原理。
  4. A clause is formalized as a relational algebra expression and evaluated by employment of relational algebra operations . 3 . the proof theory based on xml is presented
    提出了利用关系代数运算实现xml查询子句求值的方法，并证明了该方法的正确性。
  5. Based on the characteristics of measurement safety inspection system for railway freight transportation under the condition of electrification and informationization , the essay the nessity to apply lightning proof by modern proof theory , and introduces the integrated lighting proof technology
    摘要针对电气化、信息化条件下铁路货运计量安全检测系统的特点，利用现代防雷理论分析对其进行雷电防护的必要性，并对其综合防雷技术进行了相应介绍。

百科释义

    Proof theory is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively-defined data structures such as plain lists, boxed lists, or trees, which are constructed according to the axioms and rules of inference of the logical system.
    详细百科解释

相关词汇

        proof:    n. 1.证明；证据；【法律】证件；【法律】(口头或书面 ...
        theory:    n. 1.理论，学理，原理。 2.学说，论说 (opp. ...
        -proof:    后缀 表示“耐，防(等)”：acid-proof 耐酸的。Air-proof 密封的。 Dust-proof 防尘的。 Fire-proof 防火的。 Radar-proof 反雷达的。 Slander-proof 听了坏话不会生气的。 Sound-proof 隔音的。 Water-proof 防水的。
        a proof:    防原子的
        a-proof:    防原子的
        in proof of:    作...的证据
        proof:    n. 1.证明；证据；【法律】证件；【法律】(口头或书面)证词，证言。 2.检验，考验；验算；检定的品质[强度等]。 3.试管。 4.【印刷】校样，印样。 5.(酒精的)标准强度。 6.(甲胄等的)耐力，坚牢强度，不贯穿性。 7.【摄影】样片；样张。 8.[Scot.] 审问。 9.【数学】证，证明，证法。 The proof of the pudding is in the eating. 布丁好坏一吃即知；空谈不如实验。 Here is proof positive. 有确实证据。 a foul proof 错字很多的校样。 a foundry proof (压型前的)清样。 an artist's [engraver's] proof 版面印样。 stand a severe proof 经受严格的考验。 afford proof of 提供证据。 armour of proof 戳不通的坚牢的铠甲。 below proof 不合格。 bring [put] to the proof 试，试验。 have proof of shot 能防弹，能避弹。 in proof of 作…的证据。 proof positive of his intention 他的企图的确证。 read the proof 校对。 adj. 1.试验过的，有保证的；(酒)合标准的，规定的。 2.校样的。 3.(子弹等)不入的，耐…的，防…的。 a proof coin 标准货币，制钱。 a proof sample 样品。 proof against the severest weather 经得起任何酷烈天气的。 proof against the pricks of all temptations 不为任何诱惑所动的。 vt. 使经得住，使(布等)耐久[不漏水(等)]。 proofed cloth 防水布。 adj. -less 无证据的。
        proof of will:    遗嘱证明, 遗嘱认证
        and theory:    经验与理论，119
        in theory:    从理论上说; 理论上，理论上讲
        s theory:    弗洛伦斯学说; 戈尔茨学说; 赫伯理论; 嘉农氏理论
        the theory of the:    事业理论
        theory:    n. 1.理论，学理，原理。 2.学说，论说 (opp. hypothesis)。 3.推测，揣度。 4.〔口语〕见解，意见。 the theory of two points 两点论。 Darwin's theory of evolution 达尔文的进化论。 theory of equations 【数学】方程论。 theory of everything 【物理学】(把相对论、量子论和宇宙大爆炸理论都包括在内的)万用理论。 theory of relativity 【物理学】相对论。 the atomic theory 原子说。 Our scheme is good both in theory and in practice. 我们的方案在理论上和实施上都是好的。 combine [separate] theory with [from] practice 理论结合[脱离]实际。 My theory is that we must bring new blood into the Institute through appointment of younger men to important positions. 我的意见是我们学院应该通过重用年轻一些的人来注入新的血液。 theory of games 博弈论，对策论，权衡利弊得失的形势分析。
        theory of:    经验的理论，6
        will theory:    意思说
        flame proof = flame-proof:    防火的
        proof sheet; proof:    红样
        a documentory proof:    用文件来证实日期
        abrasion proof:    耐磨的
        abrasion-proof:    防磨的; 耐磨的
        absolute proof:    绝对证明
        abundant proof:    充分的证据
        accident proof:    安全的
        acid proof:    耐防酸的; 耐酸,抗酸; 耐酸的; 酎酸的
        acid-proof:    adj. 耐酸的。

其他语言

        proof theory meaning：[Computer] < logic > The branch of logic describing procedures for combining logical statements to show, by a series of truth-preserving transformations, that one statement is a consequence ...
        proof theory 뜻：증명 이론 증명 이론
        proof theory перевод：теория доказательств

相邻词汇

  1. proof technique 什么意思
  2. proof test 什么意思
  3. proof test for accommodation ladder 什么意思
  4. proof test for shicargo handling gear 什么意思
  5. proof test value 什么意思
  6. proof timber 什么意思
  7. proof to cracking 什么意思
  8. proof to the contrary 什么意思
  9. proof total 什么意思
  10. proof tree 什么意思
桌面版繁體版English

相关阅读

Copyright © 2025 WordTech Co.

Last modified time:Tue, 19 Aug 2025 00:29:56 GMT